First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
971	Paul E. Oppenheimer and Edward N. Zalta 2 Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-03-23 12:52:55 Metalogic Logical consequence Arguments for the existence of God Ontological argument Prover9 First-order logic Function Entailment Interpretation Logic Mathematics Model theory
972	Paul E. Oppenheimer and Edward N. Zalta On the Logic of the Ontological Argument∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2008-04-01 02:07:07 Arguments for the existence of God Model theory Theology Philosophy of religion Ontological argument Function First-order logic Definite description Interpretation Logic Philosophy Mathematical logic
973	Bernard Linsky and Edward N. Zalta In Defense of Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:08:05 Saul Kripke Kripke semantics Actualism S5 QML Interpretation Possible world First-order logic Accessibility relation Logic Mathematical logic Modal logic
974	On Herbrand’s Theorem Samuel R. Buss University of California, San Diego Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2002-06-25 19:08:00 Model theory Predicate logic Metalogic Herbrandization First-order logic Sequent calculus Skolem normal form Well-formed formula Prenex normal form Logic Mathematical logic Proof theory
975	First-Order, Curry-Typed Logic for Natural Language Semantics Chris Fox1 , Shalom Lappin2? , and Carl Pollard3 Add to Reading List Source URL: www.cs.haifa.ac.il Language: English - Date: 2002-07-01 08:11:22 Model theory Philosophy of language Formal languages Metalogic Interpretation First-order logic Lambda calculus Type theory Type system Logic Mathematical logic Mathematics
976	Modelchecking Non-Functional Requirements for Interface Specifications Florian Kammüller and Sören Preibusch Add to Reading List Source URL: preibusch.de Language: English - Date: 2013-11-11 13:58:28 Predicate logic Selectable Mode Vocoder Logic Model theory First-order logic
977	Prolog: A Logic Programming Language with Names, Binding and -Equivalence James Cheney1 , Christian Urban2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:44 Software engineering Predicate logic Automated theorem proving Unification Higher-order abstract syntax Prolog Free variables and bound variables First-order logic Function Mathematics Mathematical logic Logic programming
978	Finite model theory studies the expressive power of logical languages over collections of finite structures. Over the past few decades, deep connections have emerged between finite model theory and various areas in combi Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:01 Model theory Finite model theory Computational complexity theory Metalogic Logical syntax Second-order logic FO Descriptive complexity theory First-order logic Logic Mathematical logic Mathematics
979	Institute for Research in Cognitive Science First Order Logic, Fixed Point Logic and Add to Reading List Source URL: www.haverford.edu Language: Vietnamese - Date: 2012-03-28 11:42:02
980	International Journal of Foundations of Computer Science Vol. 19, No. i[removed] Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:04 Model theory Predicate logic Mathematical structures Semantics First-order logic Structure Interpretation Monadic predicate calculus Function Logic Mathematical logic Mathematics

UPDATE